Issue1643a.agda:20,8-9
A !=< Set of type Set
when checking that the expression a has type Set
